5 equals 7